1.
Automated Deduction, Cade-13 13th International Conference on Automated Deduction, New Bruns...
by McRobbie, M. A., Slaney, J. K.
ISBN: 9783540615118
List Price: $121.00
2.
Automated Deduction - Cade-13
by McRobbie, Michael A., Slane...
ISBN: 9783662176726
List Price: $24.99
OUT OF STOCK
See Availability on Amazon3.
Advanced Topics in Artificial Intelligence 11th Australian Joint Conference on Artificial In...
by Antoniou, G. Oint Artificia...
ISBN: 9783540651383
List Price: $69.95